From light logics to type assignments: a case study
نویسندگان
چکیده
Using Soft Linear Logic (SLL) as case study, we analyze a method for transforming a light logic into a type assignment system for the λ-calculus, inheriting the complexity properties of the logics. Namely the typing assures the strong normalization in a number of steps polynomial in the size of the term, and moreover all polynomial functions can be computed by λ-terms that can be typed in the system. The proposed method is general enough to be used also for other light logics.
منابع مشابه
Overcoming Procrastination: English Language Teachers’ and Learners’ Suggestions
Procrastination pervades the long and taxing process of foreign language learning and working against it is crucial. This study attempted to elicit and investigate the strategies and solutions from English teachers and learners which can help in dealing with procrastination over weekly assignments, term projects, and preparing for exams. To achieve this aim, suggestions were sought from 46 Engl...
متن کاملDesign of An Intelligent Model for Strategic Planning in Mineral Holding: Case study, Shahab-Sang Holding
Business logic is one of the most important logics based on the decision matrix. However, using this logic alone and environmental uncertainty leads to problems such as low accuracy and integrity in strategic planning. In this work, we use an intelligent model based on the neural-fuzzy approach aiming at a desired decision-making and reducing the uncertainty in the strategic planning in mineral...
متن کاملCompeting Logics and Healthcare; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This paper offers a short commentary on the editorial by Mannion and Exworthy. The paper highlights the positive insights offered by their analysis into the tensions between the competing institutional logics of standardization and customization in healthcare, in part manifested in the conflict between managers and professionals, and endorses the plea of the authors for further research in this...
متن کاملPublic announcements, public assignments and the complexity of their logic
We study the extension of public announcement logic PAL by public assignments, that we call PALA. Just as in the case of PAL, the standard procedure for deciding PALA validity, i.e., the use of so-called reduction axioms to translate PALA formulae into formulae in epistemic logic EL, may lead to exponential growth. In this paper, we show that such price is not mandatory, for we provide a polyno...
متن کاملRecognition of the effect of skylights on the architecture of Kashan historic houses (Case study: Boroujerdi house)
One of Kashanchr('39')s historical architectural achievements has been the use of skylights in historic houses. Research has shown that these skylightschr('39') quality and performance are related to factors such as their type, distance from other openings, size, and materials, cut-off Angle, area of illumination created, number, and amount of their efficiency. The article used these factors fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logic Journal of the IGPL
دوره 17 شماره
صفحات -
تاریخ انتشار 2009